do_links (GtkWidget *do_widget)
{
static GtkWidget *window = NULL;
- GtkWidget *box;
GtkWidget *label;
if (!window)
{
gint width, height;
GdkDisplayX11 *display_x11;
- gboolean monitors_changed;
width = gdk_screen_get_width (screen);
height = gdk_screen_get_height (screen);
const gchar *property_name)
{
GtkImageMenuItem *image_menu_item;
- GtkWidget *image;
gboolean use_appearance;
image_menu_item = GTK_IMAGE_MENU_ITEM (activatable);
gtk_list_store_set_n_columns (GtkListStore *list_store,
gint n_columns)
{
- GType *new_columns;
int i;
if (list_store->n_columns == n_columns)
GtkRequisition requisition;
GtkMenuPrivate *private;
gint x, y;
- gboolean initially_pushed_in;
gint scroll_offset;
gint menu_height;
GdkScreen *screen;
{
GtkScale *scale = GTK_SCALE (buildable);
MarksSubparserData *marks_data;
- GtkWidget *toplevel;
if (strcmp (tagname, "marks") == 0)
{
GtkWidget *box2;
GtkWidget *frame;
GtkWidget *scale;
- GIcon *icon;
gdouble marks[3] = { 0.0, 50.0, 100.0 };
const gchar *labels[3] = {
"<small>Left</small>",